$\forall$$k$:Knd. sqequal(islocal($k$); ($\neg_{b}$isrcv($k$)))